bisimulation相关论文
To further explore the up-to techniques for bisimulation in the coalgebra setting,we investigate a special kind of funct......
In this paper, we propose three-way granular approximations(3WGAs) based on bisimulations. We discover the relationships......
,Bisimulation-based stabilization of probabilistic Boolean control networks with state feedback cont
This study is conceed with probabilistic Boolean control networks (PBCNs) with state feedback control. A novel definitio......
...
A reasonable transition rule is proposed for synchronized actions and some equational properties of bisimilarity and wea......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
The X calculus is a model of concurrent and mobile systems. It emphasizes that communications are information exchanges.......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
In the study of process calculi, encoding between different calculi is an effective way to compare the expressive power ......
Symbolic bisimulation avoids the infinite branching problem caused by instantiating input names with all names in the st......
提出一新型并发计算模型－ｘ－演算，它与π－演算的不同之处在于；具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作作界定，允许更大......
在新型并发计算模型－Ｘ－演算的基础上进一步研究高价Ｘ－演算，并从代数性质，递归能力等方面研究该计算模型，该演算的特点是它的对称性。......
首先介绍模态逻辑的两种语义：克里普克模型和非良基集合模型,表明这两种语义的相互可推演性,证明非良基模型,描述互模拟等价的克里......
用 Baire 度量标准，这份报纸由开发近似 reachability 和近似 bisimulation 等价的观点建议转变系统近似的一个概括框架。建议框架......
针对嵌入可计算函数的C模型语法中没有Summation操作符，定义了PrimeProcess概念，并给出进程范式化过程以及有限公理系统，研究在扩展C......
在ｃｈｉ进程间互模拟格的基础上，利用Ｌ－互模拟的开刻划，给出所有４个Ｌ－互模拟等价诱导的同余关系的完全公理化系统。４个Ｌ－互模拟等价中最小的同余关......
<正>在人们日常生活中,混合系统(Hybrid Sstem)应用的实例很多,如汽车中的计算机控制系统、飞机中的平稳飞行痤制系统等都属于混合......
本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义,给出一阶逻辑与Monadic二阶逻辑的博弈形式,然后讨论互模拟等价在这些逻辑......
文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系。目前对各种模态描述逻辑系统的研究主要是它们的......
两阶段提交协议是最简单且最常用的原子提交协议，该协议使分布式事务的提交具有原子性和持久性。在本文中，我们使用π演算对两阶段提......
文中[1]给出模态描述逻辑MALC的语法与语义，同时给出MALC两个模型之间的互模拟关系，讨论MALC的模型之间互模拟及互模拟所组成集合具......
互模拟已成为模态逻辑模型论的一个核心概念。笔者在克里普克模型上定义了互模拟和互模拟不变性概念，接着证明模态逻辑具有互模拟不......
模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具.巴德尔（Baader）率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的......
为了探索Kdpke模型、非良基集合和知识结构之间的联系，引入了有界互模拟的概念。首先，在Kripke模型上定义了互模拟与有界互模拟，并给......
给出互模拟精确且具有概括性定义（B），给出并证明了互模拟的5个特征，最后给出最大互模拟一定义，证明了～是一个等价关系，进一步证明了～是R中（B......
对休斯（Hughes,G.E）和克雷斯韦尔（Cresswell,M.J）的压延技术（从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模......
本文提出了递归数据传送进程互模拟的证明系统，并证明了其可靠性和相对于数据推理的完备性，其中关键的推理规则是唯一不动点归纳法，这......
该文研究非对称χ≠-演算的基同余.文中引入一组L -互模拟关系,并确定基互模拟就是由L -互模拟定义导出的12个互异的互模拟关系中......
<正> 1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。......
状态空间爆炸问题是模型检测的最大障碍．从余归纳（特别是余代数）的角度研究了这个问题．用余归纳的方法证明：（1）对于任意给定的一类Kripke......
互模拟是并发系统分析和验证的一个重要概念.主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统.用Jav......
本文提出消除π－演变中无卫递归的公理，证明了将该公理加入到正则π演算受卫递归子集上的证明系统后，所得到的证明系统在π－演算全体正......
带赋值符号迁移图是一般传值进程的语义模型，基强互模拟等价可以归结为谓词等式系的最大解．该文将这一结果推广互弱互模拟等价，为此，引......
代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被......
主要研究带mismatch的高阶进程演算的公理化问题．首先，建立存在mismatch时高阶进程的开弱高阶互模拟理论，证明了等价关系、同余性等重......
模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于......
模拟和互模拟是分别比同态和同构弱的一对概念,论文给出一个比模拟强但又比互模拟弱的概念——双模拟,并考察与此相关的一些问题：在......
讨论了特定的自动机、自动机的识别能力、逻辑的表达能力和博弈思想的关系.使用博弈思想可以比较容易地证明一元二阶逻辑(SIS和S2S......
文章系统研究非对称带不等算子χ^≠-演算进程上的互模拟.通过构造互模拟格,从全部 L-互模拟关系中导出 12个互异的 L-互模拟关系,......
在有关ｃｈｉ演算的基础上，用统一的方法在ｃｈｉ进程上引入一大类互模拟等价关系，即Ｌ－互模拟等价关系，证明了只有４个不同的Ｌ－互模拟等价，在包含关系下，它......
由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生,本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模......
循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研......
结构的模态等价性是指这些结构上有效性的模态公式恰好相同。本文比较了模型之间的三类关系：同构、P-态射、互模拟，从而得出互模拟关......
本文引入描述传值并系统的新模型“带赋值符号迁移图（ＳＴＧＡ）”推广了Ｈｅｎｎｅｓｓｙ和Ｌｉｎ提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类......
该文就移动进程演算中的弱开同余关系进行研究.文中考虑了一种简单的非确定性移动进程演算模型，证明了Milner的三条tau规则在有等名......
